4.6 Theorems